widget: Add deprecation annotations for {get,set}_margin_{left,right}
authorDebarshi Ray <debarshir@gnome.org>
Fri, 17 Jan 2014 13:15:34 +0000 (14:15 +0100)
committerDebarshi Ray <debarshir@gnome.org>
Fri, 17 Jan 2014 17:03:52 +0000 (18:03 +0100)
commita5ff70f94981485442a4c49bb87cda5c34c7d9a6
tree0fd6573ccdb92a3dba202895bc4b4fb8d2e60dfd
parent35092a7c2ef6c25911109cb6d5e2244bbf5fff2e
widget: Add deprecation annotations for {get,set}_margin_{left,right}

Fallout from 9921bec63a3e67e2c2e38ca734590909a9f734b5
gtk/gtkwidget.c